121. Implementation and application of functional language
المؤلف: / Jurriaan Hage, Marco T. Morazaan (eds
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
122. Information and Software Technologies
المؤلف: \ Giedre Dregvaite , Robertas Damasevicius (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
I5
2015
E-Book
,
123. Information computing and applications :
المؤلف: Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer science, Congresses.,Software engineering, Congresses.
رده :
QA75
.
5
.
I25
2011
124. Information computing and applications :
المؤلف: Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer science, Congresses.,Software engineering, Congresses.
رده :
QA75
.
5
.
I25
2011
125. Information science and applications 2018 :
المؤلف: Kuinam J. Kim, Nakhoon Baek, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer software, Congresses.,Information science, Congresses.,Software engineering, Congresses.,Computer networks.,Computer software.,Information science.,LANGUAGE ARTS & DISCIPLINES-- Library & Information Science-- General.,Software engineering.
رده :
Z672
.
5
126. Innovations in software engineering for defense systems
المؤلف: / Oversight Committee for the Workshop on Statistical Methods in Software Engineering for Defense Systems, Committee on National Statistics, Division of Behavioral and Social Sciences and Education, and Committee on Applied and Theoretical Statistics, Division on Engineering and Physical Sciences, National Research Council of the National Academies
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Military art and science- Automation Congresses,Military art and science- Data processing Congresses,Computer software United States Congresses
رده :
UG478
.
O93
2003
127. Innovations in software engineering for defense systems
المؤلف: / Oversight Committee for the Workshop on Statistical Methods in Software Engineering for Defense Systems, Committee on National Statistics, Division of Behavioral and Social Sciences and Education, and Committee on Applied and Theoretical Statistics, Division on Engineering and Physical Sciences, National Research Council of the National Academies
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Military art and science- Automation Congresses,Military art and science- Data processing Congresses,Computer software United States Congresses
رده :
UG478
.
O93
2003
128. Innovations in software engineering for defense systems
المؤلف: / Oversight Committee for the Workshop on Statistical Methods in Software Engineering for Defense Systems, Committee on National Statistics, Division of Behavioral and Social Sciences and Education, and Committee on Applied and Theoretical Statistics, Division on Engineering and Physical Sciences, National Research Council of the National Academies
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Military art and science- Automation Congresses,Military art and science- Data processing Congresses,Computer software United States Congresses
رده :
UG478
.
O93
2003
129. Integrated formal methods
المؤلف: John Derrick ... [et al.] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2012eb
130. Intelligent computing and information science :
المؤلف: [edited by] Ran Chen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Database management -- Congresses.,Expert systems (Computer science) -- Congresses.,Intelligent agents (Computer software) -- Congresses.
131. Intelligent memory systems
المؤلف: Frederic T. Chong, Christoforos Kozyrakis, Mark Oskin (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Memory management (Computer science), Congresses.,Systems software, Congresses.
132. Intelligent memory systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers
المؤلف: Frederic T. Chong, Christoforos Kozyrakis, Mark Oskin )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Memory management )Computer science(,Congresses ، Systems software
رده :
QA
76
.
L28
Vol
.
2107
133. Interactive Storytelling
المؤلف: \ [edited by] Henrik Schoenau-Fog...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Application software,کامپیوتر,نرم‌افزار کاربردی,a03,a04,a03,a04,Interactive multimedia -- Congresses.,چندرسانه‌ای‌های تعاملی-- کنگره‌ها
رده :
QA
75
.
5
.
I5
2015
E-Book
,
134. Knowledge and systems engineering :Proceedings of the Fifth International Conference KSE 2013, volume 1
المؤلف: Huynh, Van-Nam
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Expert systems )Computer science( -- Congresses,، Software engineering -- Congresses,، Systems engineering -- Congresses
رده :
T
58
.
5
.
K56719
2014
135. Knowledge- based software engineering
المؤلف: / edited by Pavol navrat and Haruki Ueno
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Expert systems (Computer science - - Congresses),Computer software - - Development - - Congresses
رده :
QA
76
.
9
.
S88J65
1998
136. Knowledge-based software engineering
المؤلف: edited by Tomسaes Hrueska and Masa-aki Hashimoto,Title
المکتبة: (مازندران)
موضوع: Expert systems )Computer science(, Congresses,Computer software, Development, Congresses
رده :
QA
.
E95J65
76
.
76
2000
137. Knowledge-based software engineering
المؤلف: / edited by T. Hruska and M. Mashimoto
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Software engineering- Congresses,Expert systems (Computer science)- Congresses
رده :
QA76
.
758
.
K655
2000
138. Knowledge- based software engineering
المؤلف: / edited by Pavol navrat and Haruki Ueno
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Expert systems (Computer science - - Congresses),Computer software - - Development - - Congresses
رده :
QA
76
.
9
.
S88J65
1998
139. Knowledge-based software engineering :
المؤلف: edited by Maria Virvou and Taichi Nakamura.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Expert systems (Computer science), Congresses.,Software engineering, Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Software engineering.
رده :
QA76
.
76
.
E95
J65
2008eb
140. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K66
2000
